fun call f arg = print ((Int54.toString (f arg) handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callS f arg = print ((f arg handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callO f arg = print (((case f arg of SOME x => "SOME " ^ Int54.toString x | NONE => "NONE") handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun callP f arg = print (((case f arg of (x, y) => "(" ^ Int54.toString x ^ "," ^ Int54.toString y ^ ")") handle Overflow => "Overflow" | Div => "Div") ^ "\n")
fun bin (x, y) = ( print (Int54.toString x ^ " + " ^ Int54.toString y ^ " = ")
                 ; call Int54.+ (x, y)
                 ; print (Int54.toString x ^ " - " ^ Int54.toString y ^ " = ")
                 ; call Int54.- (x, y)
                 ; print (Int54.toString x ^ " * " ^ Int54.toString y ^ " = ")
                 ; call Int54.* (x, y)
                 ; print (Int54.toString x ^ " div " ^ Int54.toString y ^ " = ")
                 ; call Int54.div (x, y)
                 ; print (Int54.toString x ^ " mod " ^ Int54.toString y ^ " = ")
                 ; call Int54.mod (x, y)
                 ; print (Int54.toString x ^ " quot " ^ Int54.toString y ^ " = ")
                 ; call Int54.quot (x, y)
                 ; print (Int54.toString x ^ " rem " ^ Int54.toString y ^ " = ")
                 ; call Int54.rem (x, y)
                 );
fun un x = ( print ("~ " ^ Int54.toString x ^ " = ")
           ; call Int54.~ x
           ; print ("abs " ^ Int54.toString x ^ " = ")
           ; call Int54.abs x
           (* ; print ("fmt BIN " ^ Int54.toString x ^ " = ")
           ; callS (Int54.fmt StringCvt.BIN) x ... not implemented yet *)
           ; print ("fmt OCT " ^ Int54.toString x ^ " = ")
           ; callS (Int54.fmt StringCvt.OCT) x
           ; print ("fmt DEC " ^ Int54.toString x ^ " = ")
           ; callS (Int54.fmt StringCvt.DEC) x
           ; print ("fmt HEX " ^ Int54.toString x ^ " = ")
           ; callS (Int54.fmt StringCvt.HEX) x
           ; print ("toLarge " ^ Int54.toString x ^ " = ")
           ; callS (LargeInt.toString o Int54.toLarge) x
           );
List.app un
[~9007199254740992
,~9007199254740991
,~77
,~3
,~2
,~1
,0
,1
,2
,3
,78
,9007199254740990
,9007199254740991
,5532939076821552
,~4020505767394665
,~3972713275170721
,~2735553267893489
,6325440835092688
,4421322260575698
,~3673099834204271
,~7532671426814441
,4764511605994123
,~4929731192559521
,~5768134457274892
,~3832753504124622
,~1067506056660293
,5647961835221893
,7142009834293646
,8195816645443369
,~8510281466810632
,8897437031985758
,1250390257999196
,408758470696539
,~2978217789340435
,~2414791735547777
,~7677316276452286
,~7560228164400631
,1942955002464587
,5648692174111387
,8824552774176890
,~418195261730280
,5398514889055889
,926358789534944
,5680326326711626
,~3210697406838622
,4739628013028066
,~4142019729373461
,3338734274539039
,~686639738880088
,1583271092827099
,~218323288020446
,~4490687069280814
,6162240382809789
,~482423518905272
,~4415713035337109
,4412586832554992
,8080172471967101
,7235428217429654
,~3503651866451016
,396241308053367
,~3248665615096417
,6121297949700085
,~3751475809492954
];
List.app bin
[(~9007199254740992,~9007199254740992)
,(~9007199254740992,~9007199254740991)
,(~9007199254740992,~35)
,(~9007199254740992,~3)
,(~9007199254740992,~2)
,(~9007199254740992,~1)
,(~9007199254740992,0)
,(~9007199254740992,1)
,(~9007199254740992,2)
,(~9007199254740992,3)
,(~9007199254740992,99)
,(~9007199254740992,9007199254740990)
,(~9007199254740992,9007199254740991)
,(~9007199254740992,3002399751580331)
,(~9007199254740991,~9007199254740992)
,(~9007199254740991,~9007199254740991)
,(~9007199254740991,~35)
,(~9007199254740991,~3)
,(~9007199254740991,~2)
,(~9007199254740991,~1)
,(~9007199254740991,0)
,(~9007199254740991,1)
,(~9007199254740991,2)
,(~9007199254740991,3)
,(~9007199254740991,99)
,(~9007199254740991,9007199254740990)
,(~9007199254740991,9007199254740991)
,(~9007199254740991,3002399751580331)
,(~77,~9007199254740992)
,(~77,~9007199254740991)
,(~77,~35)
,(~77,~3)
,(~77,~2)
,(~77,~1)
,(~77,0)
,(~77,1)
,(~77,2)
,(~77,3)
,(~77,99)
,(~77,9007199254740990)
,(~77,9007199254740991)
,(~77,3002399751580331)
,(~3,~9007199254740992)
,(~3,~9007199254740991)
,(~3,~35)
,(~3,~3)
,(~3,~2)
,(~3,~1)
,(~3,0)
,(~3,1)
,(~3,2)
,(~3,3)
,(~3,99)
,(~3,9007199254740990)
,(~3,9007199254740991)
,(~3,3002399751580331)
,(~2,~9007199254740992)
,(~2,~9007199254740991)
,(~2,~35)
,(~2,~3)
,(~2,~2)
,(~2,~1)
,(~2,0)
,(~2,1)
,(~2,2)
,(~2,3)
,(~2,99)
,(~2,9007199254740990)
,(~2,9007199254740991)
,(~2,3002399751580331)
,(~1,~9007199254740992)
,(~1,~9007199254740991)
,(~1,~35)
,(~1,~3)
,(~1,~2)
,(~1,~1)
,(~1,0)
,(~1,1)
,(~1,2)
,(~1,3)
,(~1,99)
,(~1,9007199254740990)
,(~1,9007199254740991)
,(~1,3002399751580331)
,(0,~9007199254740992)
,(0,~9007199254740991)
,(0,~35)
,(0,~3)
,(0,~2)
,(0,~1)
,(0,0)
,(0,1)
,(0,2)
,(0,3)
,(0,99)
,(0,9007199254740990)
,(0,9007199254740991)
,(0,3002399751580331)
,(1,~9007199254740992)
,(1,~9007199254740991)
,(1,~35)
,(1,~3)
,(1,~2)
,(1,~1)
,(1,0)
,(1,1)
,(1,2)
,(1,3)
,(1,99)
,(1,9007199254740990)
,(1,9007199254740991)
,(1,3002399751580331)
,(2,~9007199254740992)
,(2,~9007199254740991)
,(2,~35)
,(2,~3)
,(2,~2)
,(2,~1)
,(2,0)
,(2,1)
,(2,2)
,(2,3)
,(2,99)
,(2,9007199254740990)
,(2,9007199254740991)
,(2,3002399751580331)
,(3,~9007199254740992)
,(3,~9007199254740991)
,(3,~35)
,(3,~3)
,(3,~2)
,(3,~1)
,(3,0)
,(3,1)
,(3,2)
,(3,3)
,(3,99)
,(3,9007199254740990)
,(3,9007199254740991)
,(3,3002399751580331)
,(78,~9007199254740992)
,(78,~9007199254740991)
,(78,~35)
,(78,~3)
,(78,~2)
,(78,~1)
,(78,0)
,(78,1)
,(78,2)
,(78,3)
,(78,99)
,(78,9007199254740990)
,(78,9007199254740991)
,(78,3002399751580331)
,(9007199254740990,~9007199254740992)
,(9007199254740990,~9007199254740991)
,(9007199254740990,~35)
,(9007199254740990,~3)
,(9007199254740990,~2)
,(9007199254740990,~1)
,(9007199254740990,0)
,(9007199254740990,1)
,(9007199254740990,2)
,(9007199254740990,3)
,(9007199254740990,99)
,(9007199254740990,9007199254740990)
,(9007199254740990,9007199254740991)
,(9007199254740990,3002399751580331)
,(9007199254740991,~9007199254740992)
,(9007199254740991,~9007199254740991)
,(9007199254740991,~35)
,(9007199254740991,~3)
,(9007199254740991,~2)
,(9007199254740991,~1)
,(9007199254740991,0)
,(9007199254740991,1)
,(9007199254740991,2)
,(9007199254740991,3)
,(9007199254740991,99)
,(9007199254740991,9007199254740990)
,(9007199254740991,9007199254740991)
,(9007199254740991,3002399751580331)
,(1280282427247758,7130919494403)
,(~8916816080327583,4559784614052950)
,(~7770692799010480,~6975227151451982)
,(1951325686942939,3781101585550669)
,(238322758214977,6957252455900107)
,(~915510370453850,~5387804437221830)
,(~2108990489530237,2394640850736378)
,(~7071163018260037,~4445953905303929)
,(8910671996214916,3289015336763753)
,(~3103785911395811,~2873617086471700)
,(~1024473951872286,~7675341704572659)
,(6115031062013420,7808620186729118)
,(1235316865962460,2220910025289755)
,(~8475786032756041,~6900115211154247)
,(4419995788397842,~8249395402893888)
,(~8519715429311805,2854746178205640)
,(450176901432620,2657677276925212)
,(~6159472730902942,~7239136592469207)
,(8870063087055429,~7304832870478989)
,(3998250750129554,79946484443058)
,(~1780063980296771,1928702582634280)
,(~1276903240382125,~2709518998400039)
,(~7472379873275987,4157637129766383)
,(~4939445675557752,~7072192207061934)
,(~2791401536774705,8380069407097430)
,(3639440135200271,874999341130046)
,(3511182671699406,2476969690193284)
,(1412371286494765,2451038128287850)
,(~953297400317904,200401590098042)
,(2367088910706673,~4750781008709897)
,(138740019483314,~5634283530607522)
,(2197254939211054,851864721677451)
,(~792199027342463,5677738299763507)
,(723471973302633,324483668719935)
,(~336581331429065,3066048341606447)
,(8721582045335639,6287409450550688)
,(~3285640467781503,4800724738257073)
,(~2700487739303711,1804662614073260)
,(~8063433684906149,2748618603661429)
,(1265201096397792,~1345375412792660)
,(~3851313945689087,~2219579088000194)
,(~6117290370386006,2256625932671540)
,(51772209614595,1464926756614462)
,(~1955741997219962,1413642263127431)
,(~1563630701580697,5251778908842841)
,(3661347872732070,2084533588975525)
,(3988390964002588,7345252067158959)
,(4721527608048111,5778813498546379)
,(~1325423695545224,4672212371411907)
,(5204055036145789,~3276706918920104)
,(5301157079158812,6846921066876363)
,(~7439020566830636,~6364354467326739)
,(~8199410450098865,~4194664480868550)
,(~2056515568508783,2762902421225763)
,(4238418152969259,~398163048315695)
,(~6590103111842235,~8315640198015518)
,(7344623049515575,~7023719510345475)
,(6692824696316050,~6300908417961319)
,(1521526069146386,6611635751981522)
,(~5629142796423914,8510346106407385)
,(6887038543788024,~2502050114502407)
,(~1687997971338901,~2634588886216247)
,(~7160820261695248,~3902665174414436)
,(~2256018713356468,~8199804621623972)
,(1316859254249907,~2686127930671837)
,(~8018057760130368,~5117998755706627)
,(8101644229140766,~5868557708987639)
,(866710194287242,~7160006563322556)
,(1077110394518893,~3727311863108406)
,(3971313160214651,~5626750068326465)
,(7473945550009173,4927624881063449)
,(725068353764815,5913558658210348)
,(8572185503568849,1648732983056081)
,(~2279307173941125,1974565783907235)
,(7949043841157334,6839087445547103)
,(1765001065159361,6414991300772838)
,(~230141818507787,~1428914539748552)
,(3772469012233450,~5824640853815468)
,(~390214097270545,~8375782461372527)
,(~2377303827772868,6879288924149767)
,(~1437637156527537,3019420498258479)
,(~1127402567680986,~530362888815973)
,(2024120186739971,~2505070154136182)
,(~2660822015925032,2187300752226934)
,(~7476729128711197,1735256303894142)
,(200683251416062,5973522385158799)
,(5098211142765709,~3165855930671013)
,(4749987629952420,5036982681425176)
,(8379972552347808,~2921744208918997)
,(4017140063392462,~6764470013333145)
,(~6973646137093322,~8714986822149409)
,(4214138522988678,6176873280666015)
,(~6079843891596237,647544679163648)
,(~4557943253115123,~8057593637115030)
,(4552885809751894,2620225497445707)
,(~72974830029954,4642477527587054)
,(2433825278590349,~4185380583475337)
,(~1455879049685351,~3042386071155803)
,(1129871450999817,~1214101738227199)
,(2208812420594522,~4795791869698327)
,(~7627266327249704,~4941452146364671)
,(4412599590153266,~2737038549478230)
,(~316350805037261,2198203767893071)
,(1913762398105635,1643267746657165)
,(6733841761532754,1136329487664623)
,(4248345600125306,549711385843902)
,(~3426376229975075,8275989035372251)
,(~3148183827795737,6023773814932041)
,(~7752244402579110,~3261516949074620)
,(4740037689018849,~4577496837145589)
,(8568658730478166,~4630043860893474)
,(4177606088619655,~5119841551074059)
,(4716661099496962,~3927264187732575)
,(~8040122299743837,6862785572781746)
,(~2896220177684117,~5420316492418187)
,(~3832434560715107,~2200920919756694)
,(6366179710563475,4758027504866859)
,(~6080826276996424,7960803775300621)
,(7606640996327157,~7050455878038111)
,(3986448417367521,6322485653865276)
,(~4730709969107145,7051954132180588)
,(~5749275576666152,6747803671062668)
,(~3764171240497280,~3321514363237364)
,(~8705104836002628,~36107533783280)
,(954630725216418,~5202892636667979)
,(1428144419984462,1522632742468515)
,(~376120442898876,~719666815207548)
,(~1547635573382108,8662514603751468)
,(~1262268567440878,1498852051527290)
,(4803615701955949,~6531043292735490)
,(~6335662830531095,~346563821072862)
,(~6526713929381372,~2333908734554457)
,(2552859445934631,7099264340291372)
,(~1470599406329534,~5945108930776523)
,(~8987270443036866,~6744202304949936)
,(3354146230890249,~5697326507453363)
,(2988388874584454,7741413469048428)
,(8319763629480073,8300545148769185)
,(6463199467857551,145238044089563)
,(~7720182483937576,~2767867213523556)
,(1623783306588175,~8453362393813027)
,(4464617026903375,7269660905273254)
,(~8394419129252159,~255989153334182)
,(1362781482069729,~7577368153971552)
,(469890638565802,1849246499459582)
,(7165488077165358,970251074965911)
,(~1910515358085246,8449505593644811)
,(~6189727736896005,4669044994477296)
,(5319916903195522,~3474872264789540)
,(541944356796785,~7370412127500908)
,(4727154776770538,~6641921647154839)
,(5742821094274801,2682057011050707)
,(2573751481877436,~524041707027692)
,(~790478244338507,1431233406824535)
,(~7819262386218546,5331266670358037)
,(8871979657421807,~1583872157237089)
,(3783429667923366,~3096294897658473)
,(~6783161782292408,~2140068867857670)
,(~2854185923735528,3362889098010158)
,(2913780419001344,3219331833671582)
,(~4279355459883915,~4550916154424375)
,(6267377572121200,3148587923854158)
,(5195137876237382,~1834496876142187)
,(~515232490943952,3014549364176087)
,(~1952840792044122,~2150859140779890)
,(1248331848781321,~7878153216753977)
,(4221975229149800,3070398907051154)
,(8195271905787740,6169107822373073)
,(1963893580785760,~636746935151079)
,(6829649481368134,~8556314254021951)
,(~6940054079231698,4638030985689852)
,(~3570989015452872,~6310740049650036)
,(1251094043168381,~5824959470129349)
,(~5290253868735468,7586937650820872)
,(6630255163182997,604130308746975)
,(~2481791583360411,1023418965301482)
,(~2989350986236486,4853178734875551)
,(2205407983620808,3082322467262203)
,(~6494779896758761,~865411223149890)
,(~3339078961315965,~7432714591853297)
,(~1223143682778371,~8835473506346014)
,(2851612981598934,~1688945705164170)
,(~1462441323278620,7009022679893540)
,(1821886923598283,~6456769938971804)
,(5950298955145969,~2470365310401978)
,(~6054735205286995,2757254459490005)
,(2518766960430629,~376986267250953)
,(~2842404920546665,~6279085373275550)
,(7152426047694187,~573965301225983)
,(6659046634360093,1564985973983286)
,(1743517737149977,~7287354501133060)
,(~2381647278468277,~4656438468588482)
,(7601083844841322,~7852201062026440)
,(~7277439537842195,3207073392982360)
,(8271336890791643,~5916274718902325)
,(3273655109715818,939149889008213)
,(8622214526031085,~5198764505456557)
,(547933644948457,1057629682206618)
,(5616620025569178,~2827431540377189)
,(~5618154218500472,~2241850927681065)
,(~4976616779304804,~3273340837700835)
,(~2194669357202219,788552433035845)
,(~2303474635642981,~7038251835640791)
,(2102077831221333,963068636368909)
,(~6836110180806204,8629394597166980)
,(~1275304561288794,~7410326357365707)
,(5262067385914182,3776217407823288)
,(1614836577171324,1718505661972499)
,(4952499088003790,7556337361424475)
,(~5986486238271446,~2380871091699862)
,(~7229916951254974,2812736927618177)
,(~6177341862847616,4906655441321405)
,(8124841620554180,~5745619055974470)
,(2229779608871631,~619515882363886)
,(~4844611870376708,~5223405804747655)
,(2872675680700006,3397172280400630)
,(~6455007563946757,4673633204432099)
,(~8396286670561699,~4601033785492736)
,(~7089016780870374,~4085381400088731)
,(~7485557859013858,8828861325502009)
,(~7478076387118874,~8764513504830460)
,(1180031081183426,921891625647150)
,(~4158912695111595,~2471181756247360)
,(8118932187529403,~8902458806633194)
,(~2892816168884111,~6012968699167748)
,(8944079875912737,~4357339410853829)
,(7287723469658236,3581076739151850)
,(7778197462626844,920001979910303)
,(~2801009685907053,~2653810417375345)
,(~3409979471498858,3460235536768531)
,(~6170005957102952,~1955985427227054)
,(~7333811617815910,~2884923569594038)
,(~4607511334491253,3702173020921320)
,(7842571072173088,5597267258576573)
,(2844019450697156,~1975485919617189)
,(~848107764558674,5904583032896213)
,(~7328444094246394,5394867081876427)
,(5922669996339676,~2540778652380201)
,(~8945290324309142,~2433242547557324)
,(653638394191854,2956673954904711)
,(7148728187225202,5616834398560864)
,(~6479937964504095,2288572114324695)
,(~1311433720121851,~5581716121927347)
,(8128700839728945,7007562589807341)
,(4757906763339263,~5723792559876982)
,(6459278241028880,8907499341899891)
,(6787765110036930,5346434251715061)
,(~4742351101693032,~1323442079125181)
,(6655325831187221,5718621233590644)
,(~3968778864765831,5677643215879065)
,(~5399483117409355,8008094810443604)
,(3212062495865432,~5841909245182846)
,(~2673674356744747,101821396295385)
,(~5641332542895117,~2092393425878813)
,(999450470572257,2574511923985232)
,(1076594355486079,~7441228843077706)
,(~8004948144044076,~1530211494555398)
,(~6646331406317381,~3564141889914127)
,(~5338456578140385,~4755688004905777)
,(833315444193336,5199072735953534)
,(~3143537491471810,2848395875551701)
,(~6673442007159836,1647528267748805)
,(~4566387036537384,6472359437525330)
,(~1920534649994714,~7089882414505533)
,(8096263616119885,~8740176042768939)
,(~6671322972771023,~6885505916209501)
,(~4812243492915665,~1813274480847958)
,(6360868892174518,4097661408991561)
,(3951923412668417,8825582069498468)
,(~6247054160159293,~5885777376529038)
,(~8488939288295486,1487969730151742)
,(~8381640727360164,4012536907226175)
,(~6429260323202833,~6977104822798993)
,(3598199198260687,~2932363725395077)
,(5505127803481745,1571208693982292)
,(~8388535049910531,5949884707152704)
,(~2088296510995254,8732018612953328)
,(2035149959159138,483930744103851)
,(~4852842826808785,3542325944049261)
,(548546161118500,2872109723627391)
,(6547878142779696,~4698857877902508)
,(~7566541222010180,8081973642617664)
,(5041152826542138,685575353684426)
,(2347940814050256,~7094459831663473)
,(4916291793373459,~2703213909768719)
,(7334464207240387,~6455142689184772)
,(~2440979682012051,~2351081978396842)
,(1776419461518709,3032426500250351)
,(3795824998927499,~1607484513284780)
,(~2976812559507841,~1541166550472997)
,(~4329577663541170,~75793075842041)
,(1167471313855840,~1117847595017184)
,(~7540000528053795,7802451967352832)
,(8676281093349286,~1708275356470054)
,(7654364625216381,~6278432341945265)
,(~6900148296737541,7158274467820164)
,(8068014063002279,7263026686032416)
,(~6509582875577194,1697563011338630)
,(8410175810128917,~6560301811064003)
,(23511682020218,2884503779460280)
,(~2569876295473761,5300569348606344)
,(~5864085275108541,3350210105901284)
,(3800681706463605,~5920669748439730)
,(2591720973974021,3454686523207900)
,(6140706560383526,~7346979891445105)
,(~2772014169734958,3722156730595689)
,(~5645123477764122,6124429248788592)
,(1246389472840938,~3730664921372305)
,(~883336050610449,4837594393426233)
,(~3882330646204803,~3221374950239267)
,(743274573855502,~5380490260023944)
,(~2231927610169485,~5877973704265881)
,(5101606655776913,~1400209438683387)
,(~8485003985710925,~7512930440803547)
,(~1607221599821429,~5092365472427465)
,(2988486273526212,85412017287303)
,(~7445297384688281,4228466218295322)
,(7058276043305362,84330716234453)
,(8411445562220512,~1136642764072890)
,(3208830004392610,2888322516321324)
,(~911248341322941,3841900745944536)
,(~1332922374731059,5100717395313341)
,(~2240211957465207,~2032470660397400)
,(~6657546442616401,5221839220385860)
,(7206247678839003,4254267533572788)
,(5840744157474713,3436038010823857)
,(3755475779157517,~3969001809417747)
,(2283047823296319,2094972279708026)
,(5425718325446441,~5945509502091097)
,(6280078579361211,~7340960879855599)
,(5106908429247947,437596284411503)
,(~8180018481903325,~7247686371852813)
,(7294741703409981,2236257020965802)
,(~4255357299511972,~8230884839171704)
,(~4958091227754226,~505118630988110)
,(5211917398953074,~2354838917721186)
,(2179560956879286,6149873183161917)
,(6336609255836884,~589207955279415)
,(~2746132454125750,2441026033591260)
,(~47870022993923,3950805044343852)
,(~7682160247247525,~7711235685512097)
,(~4913366682944415,8299445430955555)
,(689303008514460,~2664361938319236)
,(5149680015973185,~4340749766842440)
,(~7827749896950082,1639911118331012)
,(~2697513965787290,5106174482239663)
,(~4504614604236504,~6908007114625042)
,(6159174784896671,3571294534029386)
,(~3986898959836906,~7720569927945104)
,(3211082745106715,~8795634839302592)
,(~8435083548360120,~40531214326490)
,(3565934090986149,1700119790738464)
,(1675398997781992,~5864204267308098)
,(2905604899242542,6077486891635015)
,(2216069960884387,~7088980098678379)
,(256071527224465,5181835644595905)
,(8652968077884612,~3079642365848410)
,(~6600021918548247,~5887306434551178)
,(~831732114129936,~8748881917376423)
,(8696657517228307,8351723614931121)
,(~3185458285306427,2128219080954841)
,(1531266454082877,~8666653140328363)
,(6024464259303602,~8098662523527484)
,(~2219530963450464,3320110195486713)
,(4907345548265537,4483720025402265)
,(8690498143531309,5684393373217619)
,(3128501274838623,~6194592211756539)
,(4889580738056461,6900842259820506)
,(6130476475063221,2672642126652282)
,(~4738586506329992,~3879051876602317)
,(~6178664440613445,~3156213167795612)
,(2129637476477861,2762006491063440)
,(170446433558926,8447322174615205)
,(~4556487350441668,724902900399207)
,(~1072489070824639,4812863168432105)
,(1925773217232924,~3131720807675433)
,(~5360893697732328,659680905149596)
,(~309573972361947,550588868022222)
,(1229529702003669,1062578153006135)
,(3470645426319762,~6551636930124065)
,(~2595850955681289,7117793083677515)
,(8287379238130749,~6722658457616721)
,(3311903732688226,~6278006974548075)
,(~347298718275856,~6125436111871267)
,(7565187314832785,6519287033669917)
,(1221961255279712,~8705241829334647)
,(~4816397135199242,6357781419395382)
,(~2945480244533826,7352292350541876)
,(~1291418594605769,~8913323471484100)
,(~5984983171539007,94684265407473)
,(~2093538563609895,~8215970406644685)
,(8823301049870397,7211502853545559)
,(~8239076532943627,2835492233234395)
,(~5508362352541680,~8616398738352400)
,(~7377393105123920,2916167502884503)
,(~16018107036872,238135004356711)
,(~2320323916997696,5265692318959663)
,(~7482327163213149,~7965227184576630)
,(723389238786083,4649757860314047)
,(3718546118717882,~7112008555143016)
,(~1388447758379642,~2818828411167542)
,(3119249217484662,~3649303530686693)
,(~3159882218441249,3824561865062535)
,(~6774579142189618,~8700111082281405)
,(~5912871516537911,~972276219739675)
,(7816204316853414,~4519292566823881)
,(~3786010889316395,5179586244987852)
,(~5103445651197085,795949950326044)
,(~6282474208659750,2845313034592140)
,(~7068232021523141,~533327726327381)
,(~4377489458861235,7960459515360415)
,(6282351177124464,~1979326261205460)
,(6304848728688280,~3471469801326923)
,(~2881532954701042,~1175135530627328)
,(8683805276259288,6503164687108543)
,(6731815566555298,2096691344107714)
,(~1469573566336681,4515424389722074)
,(3620878902224411,8406167825987335)
,(~6792689132318615,8920243479877396)
,(~3446269280033144,6308940122732438)
,(6106937555653935,~6573989456546007)
,(6874741708758927,~4996446670463189)
,(4735153498874363,~7767224939575868)
,(~2086228456611763,4165185879946611)
,(3432845581630682,3301948264258292)
,(4491472468161332,8237249220457971)
,(3778874940700049,~2182644349494120)
,(6648771484969191,2111689008817235)
,(~3024764450600030,~7242272512171444)
,(~4066739034268326,2373565559843731)
,(6955809562735733,2701906123182870)
,(137815578554604,7499467175004180)
,(178359300576530,2416716965728366)
,(5592333998394323,~6322740112420517)
,(4309612834122870,1268697229204700)
,(8547510475221062,1247216448419615)
,(4948340568213028,3765140465754246)
,(~5145490308007516,1999064154804168)
,(~450141744578596,~7792060996240455)
,(7350065582312827,518538084253813)
,(~5769052836587922,6866847324424475)
,(6850274537222822,~5425972910435934)
,(3902235165874621,6390088310815712)
,(~981219918966739,~8835358089817666)
,(7952004173750664,5393359001249916)
,(~765628450931054,~2427955072989696)
,(~903046155590557,~2667404582571372)
,(~7527982199350393,6590064496271210)
,(3920250340699772,~326778460711047)
,(2778483231037703,~48830067965784)
,(~6407247385824606,2917617135904634)
,(6301916767351538,~8767734407351050)
,(~7691466998841636,7217083406855957)
,(~7821095786805174,4462451081248384)
,(2845490125670141,1168708851447744)
,(6628509902885489,~7459186812462556)
,(1278672525933968,~4930046165503662)
,(~4135700507518683,6901453937477278)
,(8327708745704977,~7447144730120431)
,(~3657839837914015,7143846221477878)
,(212173561696322,~5947834891843295)
,(1682630939889671,~6387346366863074)
,(1639047021597542,~7155156155257025)
,(3272957578498965,~3204705962246302)
,(5802674510113869,6182987105167168)
,(~7980547515875805,~6408509250486636)
,(~280994047462356,8773863455027405)
,(4852310537034484,~525185644447003)
,(~4179854293923156,1192673312140621)
,(~8872907068866283,~8307163511229836)
,(~6392528942206739,~3633730000204994)
,(5927066751180885,~856477194815663)
,(3625107356790456,5574690515925573)
,(413377825437628,~8507184260409164)
,(4861691074672479,8953233590992162)
,(~3956757583851366,6292248061363477)
,(5583406483936292,~1702395936328687)
,(7086356128908039,~33907630020827)
,(~6150315900286432,~3045333310040851)
,(6959041838296032,4706753594612758)
,(6294029710655132,~4568567381267243)
,(6088142977881226,412284857356355)
,(~6705554792511360,8688932255635884)
,(1937595805659840,~7552543575061657)
,(~7127619369517145,~2459367591454128)
,(~5513904705740519,1565381776083090)
,(~8582598319253489,2494636470455428)
,(6963488495346059,~6366048086387862)
,(3755597243511373,1098994941688091)
,(4034982962732404,5976346919887906)
,(4083230139614351,~7655661168532477)
,(5083842072489294,3887044545506484)
,(3351132334072099,~4705961579421581)
,(~5984031218376088,~935938038640059)
,(~7019291091337034,213621810210165)
,(~4345869973316036,6813332111685744)
,(~2287067131344253,~4722035404251745)
,(~1705769073716012,2736267005736531)
,(5964840052833496,~5963457303702978)
,(~2952523605127843,~4333202847182730)
,(6833084230379030,~7279628829584060)
,(8595129511176998,~6508588592702425)
,(~7557123941232559,8398255688694727)
,(8243058837462836,~6391517423699985)
,(~8383607793918143,~811444390429732)
,(4069832269473231,1359524407882702)
,(~8608368101048807,~7126513798185514)
,(1720605609007079,~6623115626546766)
,(6831341872770254,3097016426954132)
,(1484121849602506,3161367212297743)
,(7214626323352429,~3292240131434307)
,(1055446233837634,~767893599662617)
,(~6434907930157717,2361630583257159)
,(~5539119019558950,~7826147826723766)
,(3318333002263245,~4408871958741203)
,(~3183906120247378,8814389312032569)
,(2746520487105873,~6886021722302579)
,(~2539124521803504,2505271061115773)
,(~85210767166651,~4107069079361130)
,(1228921108546872,4119469544779569)
,(3758080944499450,2709247651201061)
,(~2663912785753773,~3256062043208893)
,(~4875401282397245,7721127214670080)
,(4326617839458951,~3197234902502020)
,(5757565503715151,5071612741967245)
,(~4305154749765197,791568238256727)
,(389432877924954,6681426506434262)
,(~1800988486575042,7104065016375117)
,(3749508091264236,~6894102441932337)
,(82494377849772,5131537589275542)
,(~8469464695742079,~5649909845408949)
,(4133329233772792,5601134339634818)
,(8228776159318117,1674352776862760)
,(~5364398944741148,6646280639381586)
,(8627670586343878,3932398572915735)
,(299202982466385,~4890452746507673)
,(4486701962541221,8138447283961381)
,(~3167552735193543,~5954810187630702)
,(1954252296520470,3222397078847871)
,(7364009431596306,~1964913092564566)
,(~1860566461692995,~5232577072478186)
,(7796032662494239,~2195679366690501)
,(6943293907952584,7287350569681592)
,(~2048300973862690,~3282009142198873)
,(3208129592618524,8997691097414839)
,(8063558673886340,5319846562091287)
,(~2174872724960147,5653847726672111)
,(~6919300528730513,7514401625478536)
,(~2129940049066709,~863484399059119)
,(4235634130336223,~4519603860637113)
,(~6279638311011230,~6225538883892572)
,(~6797838875422424,~3742034005901343)
,(~5937068854578636,2289219213562723)
,(3403016252065931,3118669541601579)
,(7763970714164350,2545637480337434)
,(~4968747488730190,~2245135876308589)
,(2227331136865834,1363141981032003)
,(6850345812031955,4687726697296688)
,(4764177086786386,5048184735836318)
,(5524932315795790,2222903633380400)
,(5860868625677462,4584470207551880)
,(5532711165714967,~1268533791090416)
,(979679515525959,6663182129283525)
,(2621725624650398,~3963722447606858)
,(6158173270221590,88552088069861)
,(3311072684125472,6399723302736100)
,(~2295723445422369,~1306680016198255)
,(~4022860088843825,~7430557948024957)
,(1540154401713864,15817933289051)
,(~1934258128738534,~8062478355333632)
,(~6109520035114899,5617557388863272)
,(3323690180697599,~6551587039685444)
,(~3322803680939557,~6610054391206808)
,(3022429712170291,~1567608144610422)
,(~4653951158306041,~8283926866482220)
,(1019399075880318,6548583062197386)
,(441387832595471,6806718079716271)
,(821966443171093,~7918201815920169)
,(~4834060088595766,5024395046347052)
,(41119393647102,1434859287914919)
,(~3723844674855697,~7977416467371045)
,(~2290739855381422,~3599852392373179)
,(4975665128307745,8116194892167116)
,(~6883655060896250,1579508687477944)
,(~6791102193267988,1376925473483324)
,(~8146464178912837,~8524240276919238)
,(7208644177236650,459152005163708)
,(~3986523376125580,~4801244674924079)
,(1228935114248796,~8902161412780518)
,(~7448565177886340,~183957012103702)
,(8784597492052044,7595524717160272)
,(4088228838644226,2232705138014282)
,(~7114169202747721,~5663389557350083)
,(~842476544180644,~6269424832344757)
,(~3659029055324796,6127625400850976)
,(~6807166111590406,~2126948342217147)
,(8174828786793346,6879635681875073)
,(~5057052157902737,~3676110397062399)
,(6936746025172535,1099882627430408)
,(7613171373952701,7056466000134878)
,(~2929481742877802,929784390809152)
,(~3876442102528109,~4491918486336167)
,(4169473468222577,~875436577025387)
,(217853883829181,2056816289942768)
,(4521508579560764,~6615342144999201)
,(~312844229364083,~5098987708557256)
,(~8621876936255530,~2995555432172654)
,(~7996661694539593,7544132051338055)
,(~67943404743059,3583986577146520)
,(7246874237421694,2312542535093193)
,(1348262620728057,~5996224059411366)
,(~170810189634386,5453719065531705)
,(7947793478767301,8505499260985294)
,(8659687616599970,7579436175650190)
,(3581784945299240,~3128622326672549)
,(7968652948020590,~3280080606133174)
,(~1887388219069685,~8861772654346380)
,(8170053739372669,525315255784118)
,(~1856780029659476,~3205803086594571)
,(8355037964862297,~6595507983128654)
,(247844533583077,~1929757098799092)
,(~8522428627377323,1465797341492197)
,(~6971653260063195,~2643870217693986)
,(8249157835370736,5219014208432486)
,(6008431197715667,1727686288821365)
,(2416929620890886,~3401980573398031)
,(8974191212391764,2695689268906766)
,(5538657035651087,~3687308893760765)
,(~8795806679020650,2764786618203122)
,(7996070810288263,2365941518263606)
,(~6702253004369080,~12426441837845)
,(~135567560577117,~5738692114199039)
,(4040062942826703,~4285503393927957)
,(184478786555566,2062790314970672)
,(3076119225861370,2034617618331373)
,(~8540061370856629,~1868366669534548)
,(~2662650782978207,~6937872156632970)
,(2229454080768399,6248407913728273)
,(4598986180161794,2873193195220821)
,(~4373152674542340,~3615569511982260)
,(~7019052482225568,2644787748281465)
,(~1259061923946006,2744951757731862)
,(~2663226839980313,1928109553520277)
,(6268729091999041,~8582645305020069)
,(5520062362287503,4355578427171481)
,(2537201048481570,7976754237968739)
,(~6733418418327949,~457428628868752)
,(176495436911454,~8126943697391978)
,(8503430877520435,1747797171681802)
,(~1556661477427051,~6836395619606504)
,(5262241244475620,~2881045722804214)
,(~1741349225797129,8471293992374583)
,(~6825454272547044,~534855966403596)
,(~3975028349887893,6127064398038511)
,(~2762721261001219,924790614192708)
,(3301819853606974,~7092035832131965)
,(~6068632793806623,1023749856079829)
,(~7573644119188697,4855798437543539)
,(~2155338703643298,4825083023693502)
,(6185727952450337,~7007878689126846)
,(7901891691499809,~1350002521055884)
,(1025180178248305,~4904445636047144)
,(~8653343111837525,2729747550554309)
,(2232844753200498,8355224616405352)
,(5871158172495743,8351484866727811)
,(~1400170367818895,5599108312543631)
,(~4241829950410665,3167733538510608)
,(~867816373867780,2981538965795414)
,(~811293472352166,~2643369508287882)
,(~6604988891995159,~1179329181199376)
,(~8218991180288856,~6826754966095366)
,(5376662340550794,~4449751164494871)
,(8462621476037290,~2692361113791559)
,(5245036734828709,~7162522001410698)
,(~4417134679435364,5770131906140344)
,(7580948858469194,6246333597691674)
,(2560239377517331,5275297078556624)
,(861864272247534,7002521869364506)
,(5012453457753144,4145485548002295)
,(~8094931390294364,2937833268820126)
,(4590771312746432,~3458198687317641)
,(~6194429844401902,98298280247293)
,(2413265026738405,~739338748135712)
,(2394370492780188,3373327333707122)
,(~5541289507664989,4823665173394917)
,(8755407482931330,3827113969934994)
,(3942086931237713,~4074273025460156)
,(5946857573974535,5895728036537610)
,(~3538305939424866,~4218447272978670)
,(~5842319205848865,3697187380832185)
,(4926350815038596,~6849700430640942)
,(~230536677124676,8452784162431490)
,(2350647164015078,~7221645416133294)
,(~4800870210028353,4871716250372243)
,(5223435291727795,~2476256622036651)
,(~5650191895771079,~4844627646962547)
,(~6097728754162888,3494038226516203)
,(~1506594787576514,~2029145377061176)
,(~393147779691777,3279648630368267)
,(8604982145494670,~2110814869769915)
,(4281332757554853,~7458539195645013)
,(64377836769617,1516750490890871)
,(368656680233418,3016454109524484)
,(~6544150732219885,2051610235464943)
,(2363309460808012,2246278952483860)
,(~2106353272635671,~3408305322136317)
,(902124478028706,4966994223430050)
,(~8052858274533741,~8440059900955235)
,(~1542411389239889,~8705386792171473)
,(680598568295592,~5205313792824863)
,(~7680535194181130,3959610469085660)
,(2979292322782119,5227189670985318)
,(6009132530315284,6048917934130925)
,(~2851594375909745,1872527253747692)
,(2141385004039269,1372360079283771)
,(7243889383971657,~2689254318136519)
,(2952613751631565,~6163522366186943)
,(4238502250752490,5660001527355551)
,(~1814375408830315,5286269046083600)
,(~6207295359479714,~5746817979554908)
,(958400103854738,5304182576345656)
,(2899835877281017,~1782488176646477)
,(~8457644497651358,6393253660896071)
,(3853371171567027,2546046485660422)
,(~4984655484337173,6289790066625946)
,(~1294534311686244,7680262406579565)
,(8421491267212201,~5362917308455563)
,(5844902873991439,1426784229946879)
,(4944709321202550,~1428144950110053)
,(~7286968614962309,4473799792156865)
,(4268194331447373,5486714937076389)
,(~740499784758199,~8062325468964020)
,(1924605807991800,596470496079003)
,(~5928878733562887,~2813165127857655)
,(~7093799737800794,6153086225222854)
,(~6536407187462792,~8225268214031764)
,(~2761958869550426,~5894389602770997)
,(~5501683504716204,~1991772480482465)
,(~1599081734656343,2517464222462990)
,(2292297304787641,6891218861881923)
,(~494519568927351,6706361502608452)
,(2125198252351997,~5817847442253897)
,(~7761634671875438,5479601516943946)
,(2872489114074409,~6663351173428954)
,(~6588104357261713,5767416483493174)
,(2489799690869416,1827533035244559)
,(2582865316606615,~8675430916582814)
,(~1233634235899308,~7236681601926379)
,(2916574026297549,~3769302487891472)
,(7922800365912058,~7117734376406813)
,(~7595985004173558,7709810530793324)
,(~8520808533266606,5834098043435921)
,(~1675760889130139,1657624125928483)
,(7512256338198750,~7523690584722242)
,(~7961002448572971,~2061998342287184)
,(3895758012096398,~4125692926136726)
,(8591030748224335,5363308128119149)
,(~1348150241687535,~4866853373004624)
,(~4543850181400234,~6680518901414230)
,(~4866040563495252,6077826999025748)
,(~2557336737705099,6142775955137698)
,(3863679855858755,4751908179549059)
,(~8175659358660373,~5981379966390928)
,(1360634446187781,~4021616505106628)
,(~4859895445694764,4224479879882042)
,(~1281949566737265,3174557286601144)
,(~1107358723056732,8367833211618537)
,(6833297049684118,5811533651765342)
,(~5389242180481686,~4914467978807673)
,(629023768977854,~8238864676200734)
,(~5511190272168788,~6843450490361020)
,(~4801027855340243,~2184406737292192)
,(~1461475680794478,~658046429180510)
,(~2046429926533984,2366184562607777)
,(~6019635262544937,~6462234785327520)
,(4719526505193101,8656189584157033)
,(265031929041775,331967555068401)
,(6805107655675472,2118801403375603)
,(~2401517036692589,~8272680034119403)
,(7303734631214700,131124127116875)
,(~976475863327367,~2701482712199285)
,(6820499247281820,3374714122636102)
,(5955397980109381,8627585371858132)
,(5422761559927239,3069546590271240)
,(1052800275328568,~6963670865266029)
,(7851464758186800,5753333571854736)
,(~2823351661370738,~6013876646522448)
,(6399765177379249,~4236863224424372)
,(8500941421984616,8875376157633423)
,(4044865428651064,5613838905311572)
,(245783928799179,4817129675848156)
,(~7047249467793707,7834958525651878)
,(2500249434276211,~3731082276088656)
,(3990377749858478,~2998138062475627)
,(~1841260040084795,4277862320372285)
,(5364490036177180,~7603795396470401)
,(8536062894726986,~6335016447773216)
,(~5973541764484404,~7023278781109208)
,(~7517414259545533,2304933301103276)
,(5217293084957422,~8953726397271058)
,(~504258614009809,8746730540139912)
,(3839604041815980,~2264407861517046)
,(~6512859319075275,~5151998254605254)
,(~2286414599701089,3345717257505561)
,(5129343418230612,803207221065588)
,(~5750476218316949,6876898176660967)
,(~3449932694176,~4991519423047400)
,(~4009550559053942,424284155309794)
,(5034325347192967,~580008738721351)
,(7446952915362538,~2364310628864743)
,(2489094289498557,~3590096037039029)
,(6485022813499921,7616181141209733)
,(~7585426806235830,1907662651943003)
,(6400485004317046,~7911752527691639)
,(6812143167932955,7648157139413958)
,(~834321891594719,5359421971041822)
,(2634782587401594,4577826547082057)
,(~3747641023084571,~2798890183106167)
,(~1104181490303603,1611616573335366)
,(~6285942871038668,6125959106595328)
,(4075528818386567,3193846751802050)
,(~5128508420166090,~5211296599946675)
,(7265983350090472,~1723711989048504)
,(~1972684712433208,6984920474111222)
,(2780995275138041,7069175553720094)
,(~5621337306442477,~6240249963480788)
,(296550796861054,360058398633344)
,(~403669948270311,~8983433226666106)
,(1101469629916701,58504458551910)
,(~4938973260647574,~8134471489645978)
,(3940470498876543,6862933145180633)
,(~2267476716556389,~4639032597101078)
,(2286330011834583,2590336207964556)
,(~3047609176313390,~4322583416115106)
,(2433899206169026,~4752709724120329)
,(~2491963419598660,3167958927941859)
,(8701290529198688,~3726878246885893)
,(6625613944615116,487637463477896)
,(~13576072554297,~3171278781430928)
,(~6812694219249404,~6207541408263013)
,(~4070978152440999,2238006529202827)
,(~2536870374622426,~6447045788234611)
,(8684898128957233,1908490278387009)
,(~4573657995777883,6469986195606912)
,(~1517149702269598,533047920387961)
,(~7600239236623564,~720236580207456)
,(~4580251484917201,~4490453837788064)
,(3678981906573497,591604830197553)
,(3201472528832068,~6842544926239458)
,(80665342553343,7368771004848511)
,(~5787696902385447,~1089634663117971)
,(6988815115313626,~5807390812826691)
,(2315649478641708,~5050113207939118)
,(7599613521711717,~4577036895307003)
,(~6864732876149732,~393105920172154)
,(142951080861775,8439276123908420)
,(4290529251284198,~4610153352168980)
,(~1742142692377594,~7220302841370798)
,(1543512950464349,~8904654276476392)
,(5700471764571210,~7827083080779356)
,(1920366700581443,2977221564907176)
,(~7181760146784887,~4812786409514360)
,(4473330227072084,~4173862189827356)
,(~7300573361748090,327684082662980)
,(7995672291005162,6684925921568356)
,(~6672707695721840,~4672858583904141)
,(968275966249009,2814043370305565)
,(1538037514919487,~8083162982178406)
,(4565182388001412,~8555701172723063)
,(5265404880412718,3495900680180038)
,(1283466034872494,7121187042786057)
,(8155777366164381,~4656850194662285)
,(282262846672307,8469556932157656)
,(~6121474717867392,1801533483577837)
,(7260092500903454,~411882999430471)
,(4168976590945389,2970514998377369)
,(~8204860648333529,~4372585167355337)
,(3079112678234199,~4617823247126233)
,(~5071254093738351,~6946292062007656)
,(~1832556493856043,~2949786585612420)
,(7559740336422396,7610560121422066)
,(~3066628839924828,8097527923437740)
,(~422181203853555,6099915119504217)
,(8877875210309716,3345142203336794)
,(7390102915142998,5167790092077400)
,(~6333261548105860,~4415991965901781)
,(2353322344833948,8188907760069546)
,(6483726460676581,~5268140553784523)
,(6671150652911771,~1006097250549310)
,(1750362888322432,~8748164168959019)
,(1889442920740967,9003964499453988)
,(~1605916033397124,4708818764714021)
,(~1153800087974050,~3935927322680422)
,(~373493311641718,~5133919557410675)
,(3198946731770927,4497725043851560)
,(5635863797564125,~5116567713099267)
,(2978088882922560,~6066543530757264)
,(~1730430775697493,6314203440597081)
,(~7452333530379805,3257477675275187)
,(~1390462852919578,~8104784860965404)
,(~2424519337100950,6534402271046971)
,(1365155071635790,8362623549206448)
,(4466532160058472,5653196192323008)
,(~1006093694973706,1569556006705669)
,(~4896483110026826,8858723582194039)
,(~6408817181644228,~7459888630994068)
,(662119185699017,3017527629216300)
,(~7598181567075537,3077297512522355)
,(1322230987612040,~7970832188505507)
,(~582090365879148,5538364915276907)
,(33122129800099,~7135713487631991)
,(8988429327042461,7408568699724143)
,(~1649818935099188,~718884739612865)
,(~3901808660073240,1030803160004246)
,(~1834896024764162,7493641348361268)
,(~3716390400755480,~1941411621642374)
,(~115545730989465,5908128094462380)
,(4622902980523074,4083178007680196)
,(~8296168210669914,~3834179785150957)
,(~3629565914768538,~4962146912592051)
,(5324563387617987,3890575894375264)
,(~3774368231058286,7976936329765840)
,(1564812433138061,~3880848719952209)
,(~7696329745392238,203189356870397)
,(1164661568917946,~75786840999236)
,(~1813062005818745,8080111031095002)
,(4928842273146412,~8064868641274103)
,(7041164761863371,~5696580349274843)
,(~362249339965570,~5953759277237019)
,(8629273633962408,1516815479688280)
,(5968425330999707,~4295623971145680)
,(6969280736319837,6541123213806092)
,(1790773321410094,~8819114705429501)
,(~5869967326756185,3559990189939685)
,(712341297012058,~2048258847931706)
,(6692046000721730,~55503222896079)
,(~5056335866911220,~7011183383939100)
,(~6362948640046885,3871455379682351)
,(3751385454872763,~7768742374880070)
,(4220120953790590,3762502026484597)
,(7521562245850337,~1572267031160178)
,(~3279332451699984,~3941409446658966)
,(6822522160988678,1254206963632676)
,(8240613919876975,~3058816448726952)
,(~5182238734393148,118947411395247)
,(~8842693833845436,1126554420339570)
,(~8531930011229093,7841179338590045)
,(~3068714305836790,~8704179593740328)
,(~4310105917442906,7522700191130796)
,(8106977282986652,8443912377600148)
,(1360874430236012,~6119983636898574)
,(~8535872383346355,5809459645912233)
,(~1675466234385149,6951516272915646)
,(6384655117825516,~3632481816575336)
,(~599763308474104,~6804322183738249)
,(5799450900424632,5629911334753167)
,(4793520509088721,5186166677380987)
,(7814506301106800,6787213694165539)
,(~7654454823698342,~8289272680685245)
,(~8049541725024133,4892364154675801)
,(2392714323349354,1533877298920426)
,(8394063792734220,8371918759373625)
,(3553028186590481,986479231405880)
,(5231751942579350,7499567905966607)
,(514665977632531,~7341183757066341)
,(7997580116017313,3098749637984661)
,(433447561683335,1223289477520328)
,(649800463663290,6930546296496465)
,(~5388551096963408,2978775706158256)
,(~175700791818315,~7714070303760793)
,(486931512036115,~8388812487865323)
,(~8759789981403665,5872672844993874)
,(8024738703000743,~4661821902388575)
,(~6534030175096059,7895607585139558)
,(~5380660698382613,1784721687248647)
,(~1662252922032580,~6626916652411067)
,(~3493398549986718,1047449130324278)
,(~5497346300189894,932143051154555)
,(~2791600279188778,~2847069654197058)
,(~2561681696726031,2966491367418108)
,(~7217267892275222,~8979442908295095)
,(~6221177108154074,~7632310640425597)
,(3285505677902184,~5855457724577094)
,(~1870269432589250,~6187087023561928)
,(~2540080304729574,7110814299302951)
,(1490081888638439,~1502366662233183)
,(~8847679528107916,1090330608462183)
,(~2160227638747310,~1452776983574836)
,(~5322495830264304,~6513188614419966)
,(2303124959700499,2268185230300475)
,(~677763491223192,6102571986677861)
,(1745938934229333,4396891027651928)
,(1507802422512219,~3379221237819660)
,(~7664068368591599,2758372805902687)
,(30864634495391,~4688801239562612)
,(4652277338725109,~3304022576984668)
,(~7452548847781034,549720887410595)
,(5899431632918820,2311263384169781)
,(5454784379408974,~1162837439903677)
,(~5160007487869906,8680438918341563)
];
List.app (fn x => (print ("fromLarge " ^ LargeInt.toString x ^ " = "); call Int54.fromLarge x))
[~9007199254740992
,~9007199254740991
,~77
,~3
,~2
,~1
,0
,1
,2
,3
,78
,9007199254740990
,9007199254740991
,5532939076821552
,~4020505767394665
,~3972713275170721
,~2735553267893489
,6325440835092688
,4421322260575698
,~3673099834204271
,~7532671426814441
,4764511605994123
,~4929731192559521
,~5768134457274892
,~3832753504124622
,~1067506056660293
,5647961835221893
,7142009834293646
,8195816645443369
,~8510281466810632
,8897437031985758
,1250390257999196
,408758470696539
,~2978217789340435
,~2414791735547777
,~7677316276452286
,~7560228164400631
,1942955002464587
,5648692174111387
,8824552774176890
,~418195261730280
,5398514889055889
,926358789534944
,5680326326711626
,~3210697406838622
,4739628013028066
,~4142019729373461
,3338734274539039
,~686639738880088
,1583271092827099
,~218323288020446
,~4490687069280814
,6162240382809789
,~482423518905272
,~4415713035337109
,4412586832554992
,8080172471967101
,7235428217429654
,~3503651866451016
,396241308053367
,~3248665615096417
,6121297949700085
,~3751475809492954
,28286407398025024092
,31457762061972367526
,~4478709217613415291
,~29216176877379372864
,~36313020171151171076
,29359056811816952644
,24585571136307647866
,10446741460590627967
,20811060769255136230
,22105286051530348923
,~27375495694556432256
,~23650077202643583342
,~35889373154919868996
,~23151524809864471395
,~35781619939222572030
,20964987444909287759
,~20607453885953425849
,35676767174953404385
,~26316681215563273296
,29044655977138243309
,11948727646291362031
,2485474624254483287
,~33605264703975533678
,~8076234948001261095
,~14836724706692471569
,~9843395586655560171
,23754794294154939039
,~12536509526837300787
,24942460006335519280
,20140958762124797794
,~36892101522841958145
,27976575952996117762
,~34882666097133909843
,~31978547222941653029
,~35992053386037577323
,2532932059440613552
,~13338388721990246199
,29524490812557093640
,20834893781719931297
,~35723501161924779985
,6272129643799767067
,12847908247249822727
,~14484766203900202026
,~25846430309463563017
,~34500275460125145888
,~21074932084565046167
,~21925316777998211446
,~22931481478897885945
,18100823683568757480
,~27416603080099399626
,7665167557772826380
,~12283904705235949440
,~14226182604899976840
,6590257893060311489
,~36312136178071978536
,~29877330008858428384
,~33334418539918408643
,11728029335069190956
,~10696112885416166679
,17642318962459511286
,10567448186993235693
,~22272515754620630351
,~14341984256301970860
,~7310558956843054730
,15286745424899025360
,~27601676656190763662
,~28422512084373230240
,6955993610621573873
,~35902883802469146206
,4734548105589111161
,~6115280094828255807
,13390572174778550073
,~15596689244491406895
,~35534770618038254219
,~21963097568675218097
,~13663911865956946871
,21615660086154554806
,~18723367857676488417
,28732511290981520287
,~9008078342429338909
,26176541259557827166
,24929614633620127747
,~10483315211164897145
,642891578967247381
,~23354875397058869558
,8057225014569560059
,1147906132056396970
,18688970220112436374
,~13970299289483054930
,2910288193889424634
,~27442823419984499316
,116840622070334741
,21399423360216866642
,~35396679845486727193
,10587458996865881307
,29067345658527111934
,~20491005621220109275
,36565647282152932939
,~24599613546859898328
,~18179188052444438039
];
List.app (fn s => (print ("fromString " ^ s ^ " = "); callO Int54.fromString s))
["-9007199254740992"
,"-9007199254740991"
,"-77"
,"-3"
,"-2"
,"-1"
,"0"
,"1"
,"2"
,"3"
,"78"
,"9007199254740990"
,"9007199254740991"
,"5532939076821552"
,"-4020505767394665"
,"-3972713275170721"
,"-2735553267893489"
,"6325440835092688"
,"4421322260575698"
,"-3673099834204271"
,"-7532671426814441"
,"4764511605994123"
,"-4929731192559521"
,"-5768134457274892"
,"-3832753504124622"
,"-1067506056660293"
,"5647961835221893"
,"7142009834293646"
,"8195816645443369"
,"-8510281466810632"
,"8897437031985758"
,"1250390257999196"
,"408758470696539"
,"-2978217789340435"
,"-2414791735547777"
,"-7677316276452286"
,"-7560228164400631"
,"1942955002464587"
,"5648692174111387"
,"8824552774176890"
,"-418195261730280"
,"5398514889055889"
,"926358789534944"
,"5680326326711626"
,"-3210697406838622"
,"4739628013028066"
,"-4142019729373461"
,"3338734274539039"
,"-686639738880088"
,"1583271092827099"
,"-218323288020446"
,"-4490687069280814"
,"6162240382809789"
,"-482423518905272"
,"-4415713035337109"
,"4412586832554992"
,"8080172471967101"
,"7235428217429654"
,"-3503651866451016"
,"396241308053367"
,"-3248665615096417"
,"6121297949700085"
,"-3751475809492954"
,"28286407398025024092"
,"31457762061972367526"
,"-4478709217613415291"
,"-29216176877379372864"
,"-36313020171151171076"
,"29359056811816952644"
,"24585571136307647866"
,"10446741460590627967"
,"20811060769255136230"
,"22105286051530348923"
,"-27375495694556432256"
,"-23650077202643583342"
,"-35889373154919868996"
,"-23151524809864471395"
,"-35781619939222572030"
,"20964987444909287759"
,"-20607453885953425849"
,"35676767174953404385"
,"-26316681215563273296"
,"29044655977138243309"
,"11948727646291362031"
,"2485474624254483287"
,"-33605264703975533678"
,"-8076234948001261095"
,"-14836724706692471569"
,"-9843395586655560171"
,"23754794294154939039"
,"-12536509526837300787"
,"24942460006335519280"
,"20140958762124797794"
,"-36892101522841958145"
,"27976575952996117762"
,"-34882666097133909843"
,"-31978547222941653029"
,"-35992053386037577323"
,"2532932059440613552"
,"-13338388721990246199"
,"29524490812557093640"
,"20834893781719931297"
,"-35723501161924779985"
,"6272129643799767067"
,"12847908247249822727"
,"-14484766203900202026"
,"-25846430309463563017"
,"-34500275460125145888"
,"-21074932084565046167"
,"-21925316777998211446"
,"-22931481478897885945"
,"18100823683568757480"
,"-27416603080099399626"
,"7665167557772826380"
,"-12283904705235949440"
,"-14226182604899976840"
,"6590257893060311489"
,"-36312136178071978536"
,"-29877330008858428384"
,"-33334418539918408643"
,"11728029335069190956"
,"-10696112885416166679"
,"17642318962459511286"
,"10567448186993235693"
,"-22272515754620630351"
,"-14341984256301970860"
,"-7310558956843054730"
,"15286745424899025360"
,"-27601676656190763662"
,"-28422512084373230240"
,"6955993610621573873"
,"-35902883802469146206"
,"4734548105589111161"
,"-6115280094828255807"
,"13390572174778550073"
,"-15596689244491406895"
,"-35534770618038254219"
,"-21963097568675218097"
,"-13663911865956946871"
,"21615660086154554806"
,"-18723367857676488417"
,"28732511290981520287"
,"-9008078342429338909"
,"26176541259557827166"
,"24929614633620127747"
,"-10483315211164897145"
,"642891578967247381"
,"-23354875397058869558"
,"8057225014569560059"
,"1147906132056396970"
,"18688970220112436374"
,"-13970299289483054930"
,"2910288193889424634"
,"-27442823419984499316"
,"116840622070334741"
,"21399423360216866642"
,"-35396679845486727193"
,"10587458996865881307"
,"29067345658527111934"
,"-20491005621220109275"
,"36565647282152932939"
,"-24599613546859898328"
,"-18179188052444438039"
];
List.app (fn s => (print ("scan BIN " ^ s ^ " = "); callO (StringCvt.scanString (Int54.scan StringCvt.BIN)) s))
["-100000000000000000000000000000000000000000000000000000"
,"-11111111111111111111111111111111111111111111111111111"
,"-1001101"
,"-11"
,"-10"
,"-1"
,"0"
,"1"
,"10"
,"11"
,"1001110"
,"11111111111111111111111111111111111111111111111111110"
,"11111111111111111111111111111111111111111111111111111"
,"10011101010000010110111000100001111001110001000110000"
,"-1110010010001010000011110010000101010011110101101001"
,"-1110000111010010100101100011100011111001111110100001"
,"-1001101101111111100010100000110011000000010011110001"
,"10110011110001111010001110110000001100000000011010000"
,"1111101101010010101101001110110001110111010111010010"
,"-1101000011001010101000110010110101111010000001101111"
,"-11010110000101110110010111100100110101110000111101001"
,"10000111011010100110001001101110011011011001010001011"
,"-10001100000111001000001111100100100100001011110100001"
,"-10100011111100001011001110101010101111011001000001100"
,"-1101100111011101111001110111000111111111111011001110"
,"-11110010101110010000011111010011011000010101000101"
,"10100000100001100101010010110111001001011001110000101"
,"11001010111111001111010111111001001111100100110001110"
,"11101000111100000110101000011110010111011111100101001"
,"-11110001111000000111001001111110001001001000100001000"
,"11111100111000010101111111101101100111111001001011110"
,"100011100010011100100101011001010001001110101011100"
,"1011100111100001101111111011100011101111001011011"
,"-1010100101001010110001011101011001011011101100010011"
,"-1000100101000011110110000011100110101001011110000001"
,"-11011010001100111101001111101011111000111101110111110"
,"-11010110110111111110011001010001010001111010111110111"
,"110111001110001101101110110101111001000100101001011"
,"10100000100010111010010100010011110111100001010011011"
,"11111010110011110001001001101011010000001000001111010"
,"-1011111000101100010101100000001011010110111101000"
,"10011001011011110101110110010010001101101111010010001"
,"11010010101000010010110110100101011011010011100000"
,"10100001011100011101000001000111010010111010101001010"
,"-1011011010000001110010111110011010100111011101011110"
,"10000110101101010101010100100000101011000001011100010"
,"-1110101101110010010100011110100111110011100100010101"
,"1011110111001000111110100110011011101110111000011111"
,"-10011100000111111011000101101110011000000001011000"
,"101100111111111101000000111000100100011001111011011"
,"-110001101001000001011010000001110101010111011110"
,"-1111111101000100000110001111100011111101101000101110"
,"10101111001001000011001100101000010011011011010111101"
,"-1101101101100001011111010011110011100001110111000"
,"-1111101100000001000101001110111001101011110110010101"
,"1111101011010011100101101110101100011110101111110000"
,"11100101101001101111111000001111010100101110101111101"
,"11001101101001001010101101000101100101001111010010110"
,"-1100011100101000110110000100111010101001110001001000"
,"1011010000110000100011110011010010110111101110111"
,"-1011100010101010010011100111111110110101101001100001"
,"10101101111110100100110111101110110110010111111110101"
,"-1101010100111111001010000111000000100001111111011010"
,"11000100010001101100000011010100100100011010000110101001001011100"
,"11011010010010000011010111110110011001100100111110110100010100110"
,"-11111000100111100100100100110111100000000111011000001101111011"
,"-11001010101110100101101100001001101110111001011011100011101000000"
,"-11111011111110001110000110111001101110111000011110101111000000100"
,"11001011101110000010100101001111010010000110111001010001101000100"
,"10101010100110001011111101011000001000011101101101101010101111010"
,"1001000011111010010010000000001001011010110110011000110001111111"
,"10010000011001111101111011000001000000110100001010001101111100110"
,"10011001011000101110000001000101110000111110111010001100101111011"
,"-10111101111101001010011000100101011101000010001011000011110000000"
,"-10100100000110101111100111110100110001110001000101000000101101110"
,"-11111001000010000101010101011101111111110011100000110101001000100"
,"-10100000101001010101111010010011100001100100111010110001101100011"
,"-11111000010010001110110011100000101101101011001010100101111111110"
,"10010001011110010100110010000000011111110010101111010100101001111"
,"-10001110111111100011000100010000001010101011111110100000110111001"
,"11110111100011101010101101011100011010101011010100000011111100001"
,"-10110110100110111101000100010001001000000110110000001010001010000"
,"11001001100010011010110001011100111011100110000000100011011101101"
,"1010010111010010011010000111110010111011000101100000000011101111"
,"10001001111110001011100000000010001100111011111001101101010111"
,"-11101001001011101111000100011001100101111011011110010110001101110"
,"-111000000010100100011001110010100111110001101011110011000100111"
,"-1100110111100110101000101000001100101100101010101001101100010001"
,"-1000100010011010110001000010001000101110010000001010000111101011"
,"10100100110101001111110111000110101011111100101001100101010011111"
,"-1010110111111010101000001111111001001110011100000000111000110011"
,"10101101000100101011010110011100110010110000001000001101000110000"
,"10001011110000011000011110100100001100100001111010110011101100010"
,"-11111111111111011000100101101111101001110101001000111011100000001"
,"11000010001000000110000111001101001011110000100011010110100000010"
,"-11110010000011000000111111111111111000010001110100111011101010011"
,"-11011101111001010100111110100010100001000011111011101100000100101"
,"-11111001101111101011101011101110001001011101010100100011001101011"
,"10001100100110110010000100100110111011001010000000100010110000"
,"-1011100100011011011110011101111101110010010011100001111100110111"
,"11001100110111100000011111111011101110000101111111110101100001000"
,"10010000100100100011010011000000110101000011010010101100110100001"
,"-11110111111000011010111110000100100011001110001111101111111010001"
,"101011100001011000101001010111000001011111000011110100000011011"
,"1011001001001100111100000111101011010000001000110010010000000111"
,"-1100100100000100001110100001111001101110000011100000110000101010"
,"-10110011010110000111101110110110100011011011101110001101100001001"
,"-11101111011001001100110011011110110011101111000101011101100100000"
,"-10010010001111001001100110001001000110101111110110111001110010111"
,"-10011000001000110010111110111000110111100011111101101100101110110"
,"-10011111000111100111111001110100010101011001010000110001011111001"
,"1111101100110011000010110011110011101001000101111110101011101000"
,"-10111110001111011010101110011110111110001001101001000011111001010"
,"110101001100000001001010100100000110000111001011101011100001100"
,"-1010101001111001001100100011111100011010010101101001011110000000"
,"-1100010101101101100011011011010010100010111001111000011010001000"
,"101101101110101010011001010001100010110000100101111100111000001"
,"-11111011111101110100111110111011011001001100101110100001000101000"
,"-11001111010100001100110010101100010011111001000000000001111100000"
,"-11100111010011011101001010000110001111010000010000011101111000011"
,"1010001011000010010101001000101011100000001010001110101100101100"
,"-1001010001110000001110011111111110110100101101011000010100010111"
,"1111010011010110000110111001111110010011100010011000100111110110"
,"1001001010100111000111100010001100101000000100111101011011101101"
,"-10011010100010111110111110001001011110000011101000011010101001111"
,"-1100011100001000111101101011000110101011000111111011010110101100"
,"-110010101110100010100101010001101100100001011100011011010001010"
,"1101010000100101011011011111100010100110111011110010100111010000"
,"-10111111100001100110110101010110111001001011100010011001010001110"
,"-11000101001110001000011000010011011011101010100000101001010100000"
,"110000010001000101001110101010110011100111111000101101011110001"
,"-11111001001000000101010101001100011000010010011001001111001011110"
,"100000110110100011111100110101011010101101000110011100101111001"
,"-101010011011101110101101101100010011010010000010101101000111111"
,"1011100111010100110111100111001001011000111001111100011100111001"
,"-1101100001110010100100100011101110101010000100001101111000101111"
,"-11110110100100100110111011001101100010111001010000111101010001011"
,"-10011000011001100100110001101111110001100001000011100001010110001"
,"-1011110110011111111101110111001010010100100110111101001110110111"
,"10010101111111010010000000101001011011100110101001110110110110110"
,"-10000001111010110110000111101110110101011110001100000111011100001"
,"11000111010111110011000101100100110101011110110101001001110011111"
,"-111110100000011000111111000011010001101011000111110110100011101"
,"10110101101000101110000011001011000011000010011001111001001011110"
,"10101100111110111110010000110110100110000010011101100000000000011"
,"-1001000101111100001101111010010000111101111011101100111101111001"
,"100011101100000000100111110000100001011011101100101000010101"
,"-10100010000011101001011110110111100100111001101000011100100110110"
,"110111111010001000000110111011000110100110011110110011111111011"
,"111111101110001011101000101110010100101101101101010010101010"
,"10000001101011100100011110110010110010011101001111101110010010110"
,"-1100000111100000011110010010111110011011100001111000111101010010"
,"10100001100011011010111011000101100110110010101101010011111010"
,"-10111110011011000011111101000000010001101111100100101001001110100"
,"110011111000110011110110100111101110101101000010100010101"
,"10010100011111010000001100010101011000111111011000001111101010010"
,"-11110101100111010010001001100011110100010011101110001000000011001"
,"1001001011101110001101011101110011100110001101000101010011011011"
,"11001001101100011111101001101111011111100000000000101101011111110"
,"-10001110001011110101011010000101111100111010110110110101111011011"
,"11111101101110011010001100111100001010010111101000000011001001011"
,"-10101010101100011011000100010111111000000011110001010010111011000"
,"-1111110001001001011100110011011101011010111110011101111000010111"
];
List.app (fn s => (print ("scan OCT " ^ s ^ " = "); callO (StringCvt.scanString (Int54.scan StringCvt.OCT)) s))
["-400000000000000000"
,"-377777777777777777"
,"-115"
,"-3"
,"-2"
,"-1"
,"0"
,"1"
,"2"
,"3"
,"116"
,"377777777777777776"
,"377777777777777777"
,"235202670417161060"
,"-162212036205236551"
,"-160722454343717641"
,"-115577424063002361"
,"263617216601400320"
,"175522551661672722"
,"-150312506265720157"
,"-326056627446560751"
,"207324611563331213"
,"-214071017444413641"
,"-243741316525731014"
,"-154735716707777316"
,"-36256203723302505"
,"240414522671131605"
,"312771727711744616"
,"350740650362737451"
,"-361700711761110410"
,"374702577554771136"
,"43423445312116534"
,"13474157734357133"
,"-124512613531335423"
,"-104503660346513601"
,"-332147517537075676"
,"-326677631212172767"
,"67161556657104513"
,"240427224236741233"
,"372636111532010172"
,"-13705425401326750"
,"231336566221557221"
,"32250226645332340"
,"241343501072272512"
,"-133201627632473536"
,"206552524405301342"
,"-165562243647634425"
,"136710764633567037"
,"-23407730556300130"
,"54777500704431733"
,"-6151013201652736"
,"-177504061743755056"
,"257110314502333275"
,"-15554137236341670"
,"-175401051671536625"
,"175323455654365760"
,"345515770172456575"
,"315511255054517226"
,"-143450660472516110"
,"13206043632267567"
,"-134252234776655141"
,"255764467566627765"
,"-152477120700417732"
,"3042154032444320651134"
,"3322203276631447664246"
,"-370474444674007301573"
,"-3125645541156713343500"
,"-3737616067156703657004"
,"3135602451722067121504"
,"2524613753010355552572"
,"1103722200113266306177"
,"2203175730100641215746"
,"2313056010560767214573"
,"-2757512304535021303600"
,"-2440657476461610500556"
,"-3710205253577634065104"
,"-2405125722341447261543"
,"-3702216634055531245776"
,"2213624620037625724517"
,"-2167743042012537640671"
,"3674352553432532403741"
,"-2664675042110066012120"
,"3114232613473460043355"
,"1227223207627305400357"
,"211761340021473715527"
,"-3511357043145733626156"
,"-700244316247615363047"
,"-1467465050145452515421"
,"-1042326102105620120753"
,"2446517670653745145237"
,"-1267725017711634007063"
,"2550453263462601015060"
,"2136030364414417263542"
,"-3777730455751651073401"
,"3021006071513604326402"
,"-3620300777770216473523"
,"-3357124764241037354045"
,"-3715753535611352443153"
,"214466204467312004260"
,"-1344333635756223417467"
,"3146740377356057765410"
,"2204443230065032254641"
,"-3677032760443161757721"
,"534130512701370364033"
,"1311147407532010622007"
,"-1444041641715603406052"
,"-2632607566643335615411"
,"-3573114633663570535440"
,"-2221711461106576671627"
,"-2301062767067437554566"
,"-2370747716425312061371"
,"1754630263635105765350"
,"-2761732563676115103712"
,"651401124406071353414"
,"-1251711443743225513600"
,"-1425554333224271703210"
,"555652312142604574701"
,"-3737564767331145641050"
,"-3172414625423710001740"
,"-3472335120617202035703"
,"1213022510534012165454"
,"-1121601637766455302427"
,"1723260671762342304766"
,"1112470742145004753355"
,"-2324276761136035032517"
,"-1434107553065307732654"
,"-625642452154413433212"
,"1520453337424673624720"
,"-2774146652671134231216"
,"-3051610302333524051240"
,"602105165263477055361"
,"-3711005251430223117136"
,"406643746532550634571"
,"-523356555423220255077"
,"1347246747113071743471"
,"-1541624443565204157057"
,"-3664446731542712075213"
,"-2303144615761410341261"
,"-1366377567122446751667"
,"2257722005133465166666"
,"-2017266075665361407341"
,"3072763054465366511637"
,"-764030770321530766435"
,"2655056031303023171136"
,"2547676206646023540003"
,"-1105741572207573547571"
,"43540047604133545025"
,"-2420351366744715034466"
,"677210067306463663773"
,"77561350562455552252"
,"2015344366262351756226"
,"-1407403622763341707522"
,"241433273054662552372"
,"-2763303750021574451164"
,"6370636647565502425"
,"2243720142530773017522"
,"-3654722114364235610031"
,"1113561535634615052333"
,"3115437515737400055376"
,"-2161365320574726665733"
,"3755632147412275003113"
,"-2525433042770036122730"
,"-1761113463353276357027"
];
List.app (fn s => (print ("scan HEX " ^ s ^ " = "); callO (StringCvt.scanString (Int54.scan StringCvt.HEX)) s))
["-20000000000000"
,"-1fffffffffffff"
,"-4d"
,"-3"
,"-2"
,"-1"
,"0"
,"1"
,"2"
,"3"
,"4e"
,"1ffffffffffffe"
,"1fffffffffffff"
,"13a82dc43ce230"
,"-e48a0f2153d69"
,"-e1d29638f9fa1"
,"-9b7f8a0cc04f1"
,"1678f4760600d0"
,"fb52b4ec775d2"
,"-d0caa32d7a06f"
,"-1ac2ecbc9ae1e9"
,"10ed4c4dcdb28b"
,"-1183907c9217a1"
,"-147e167557b20c"
,"-d9dde771ffece"
,"-3cae41f4d8545"
,"1410ca96e4b385"
,"195f9ebf27c98e"
,"1d1e0d43cbbf29"
,"-1e3c0e4fc49108"
,"1f9c2bfdb3f25e"
,"471392b289d5c"
,"173c37f71de5b"
,"-a94ac5d65bb13"
,"-8943d839a9781"
,"-1b467a7d7c7bbe"
,"-1adbfcca28f5f7"
,"6e71b76bc894b"
,"141174a27bc29b"
,"1f59e24d68107a"
,"-17c58ac05ade8"
,"132debb246de91"
,"34a84b695b4e0"
,"142e3a08e9754a"
,"-b681cbe6a775e"
,"10d6aaa41582e2"
,"-eb7251e9f3915"
,"bdc8fa66eee1f"
,"-2707ec5b98058"
,"59ffa071233db"
,"-c6905a0755de"
,"-ff4418f8fda2e"
,"15e4866509b6bd"
,"-1b6c2fa79c3b8"
,"-fb0114ee6bd95"
,"fad396eb1ebf0"
,"1cb4dfc1ea5d7d"
,"19b49568b29e96"
,"-c728d84ea9c48"
,"168611e696f77"
,"-b8aa4e7fb5a61"
,"15bf49bddb2ff5"
,"-d53f287021fda"
,"1888d81a92343525c"
,"1b4906beccc9f68a6"
,"-3e27924de01d837b"
,"-19574b613772dc740"
,"-1f7f1c373770f5e04"
,"19770529e90dca344"
,"155317eb043b6d57a"
,"90fa48025ad98c7f"
,"120cfbd8206851be6"
,"132c5c08b87dd197b"
,"-17be94c4ae8458780"
,"-14835f3e98e22816e"
,"-1f210aabbfe706a44"
,"-1414abd270c9d6363"
,"-1f091d9c16d654bfe"
,"122f29900fe57a94f"
,"-11dfc6220557f41b9"
,"1ef1d56b8d56a07e1"
,"-16d37a22240d81450"
,"1931358b9dcc046ed"
,"a5d2687cbb1600ef"
,"227e2e008cef9b57"
,"-1d25de2332f6f2c6e"
,"-70148ce53e35e627"
,"-cde6a2832caa9b11"
,"-889ac4222e40a1eb"
,"149a9fb8d5f94ca9f"
,"-adfaa0fe4e700e33"
,"15a256b3996041a30"
,"117830f48643d6762"
,"-1fffb12df4ea47701"
,"18440c39a5e11ad02"
,"-1e4181fffc23a7753"
,"-1bbca9f45087dd825"
,"-1f37d75dc4baa466b"
,"2326c849bb2808b0"
,"-b91b79df724e1f37"
,"199bc0ff770bfeb08"
,"121246981a86959a1"
,"-1efc35f0919c7dfd1"
,"570b14ae0be1e81b"
,"b24cf07ad0232407"
,"-c9043a1e6e0e0c2a"
,"-166b0f76d1b771b09"
,"-1dec999bd9de2bb20"
,"-12479331235fb7397"
,"-130465f71bc7ed976"
,"-13e3cfce8ab2862f9"
,"fb330b3ce917eae8"
,"-17c7b573df13487ca"
,"6a60254830e5d70c"
,"-aa79323f1a569780"
,"-c56d8db4a2e78688"
,"5b754ca31612f9c1"
,"-1f7ee9f76c9974228"
,"-19ea199589f2003e0"
,"-1ce9ba50c7a083bc3"
,"a2c2548ae028eb2c"
,"-947039ffb4b58517"
,"f4d61b9f938989f6"
,"92a71e232813d6ed"
,"-13517df12f074354f"
,"-c708f6b1ab1fb5ac"
,"-657452a3642e368a"
,"d4256df8a6ef29d0"
,"-17f0cdaadc971328e"
,"-18a710c26dd5052a0"
,"6088a7559cfc5af1"
,"-1f240aa98c24c9e5e"
,"41b47e6ad5a33979"
,"-54ddd6d89a415a3f"
,"b9d4de7258e7c739"
,"-d872923baa10de2f"
,"-1ed24dd9b17287a8b"
,"-130cc98df8c21c2b1"
,"-bd9ff772949bd3b7"
,"12bfa4052dcd4edb6"
,"-103d6c3ddabc60ee1"
,"18ebe62c9abda939f"
,"-7d031f868d63ed1d"
,"16b45c196184cf25e"
,"159f7c86d304ec003"
,"-917c37a43deecf79"
,"8ec027c216eca15"
,"-1441d2f6f27343936"
,"6fd1037634cf67fb"
,"fee2e8b94b6d4aa"
,"1035c8f6593a7dc96"
,"-c1e0792f9b878f52"
,"28636bb166cad4fa"
,"-17cd87e808df25274"
,"19f19ed3dd68515"
,"128fa062ac7ec1f52"
,"-1eb3a44c7a2771019"
,"92ee35dce63454db"
,"19363f4defc005afe"
,"-11c5ead0be75b6bdb"
,"1fb73467852f4064b"
,"-15563622fc078a5d8"
,"-fc4973375af9de17"
];
